$\forall$$n$:$\mathbb{N}$, $f$:(\{0..$n$$^{-}$\}$\rightarrow\mathbb{Z}$). sum($f$($x$) $\mid$ $x$ $<$ $n$) $\in$ $\mathbb{Z}$